step(ps,umc1,tm(s,[ctxm(alpha_1_1_,ps,ip, (ip,ps), (ip,ps)),ctxm(alpha_1_1_,umc,ip, (ip,umc1), (ip,umc1))],pri(pc,[ctxm(alpha_1_1_,dot,s,i_s,c_s),ctxm(alpha_1_1_,u,bsn,i_bsn,i_bsn),ctxm(alpha_1_1_,umc,dom, (dom,umc1), (dom,umc1))]))).
